(declare-const r0 Real)
(declare-const r2 Real)
(push)
(assert (<= (/ r0 0.0) 0.7224733))
(assert (>= r2 (/ 0.0 0.0) 9695353056.0))
(check-sat)
(declare-const r0 Real)
(declare-const r2 Real)
(declare-const v28 Bool)
(push)
(assert (or (>= r2 (/ 0.0 0.0) 9695353056.0) (<= (/ r0 0.0) 0.7224733) v28))
(check-sat)
